Some changes occurred in src/doc/rustc/src/platform-support

cc @Noratrieb

r? @ehuss

rustbot has assigned @ehuss.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

cc @chrisnc FYI

r? thejpster
@bors delegate=thejpster rollup

✌️ @thejpster, you can now approve this pull request!

If @ehuss told you to "r=me" after making some further change, please make that change, then do @bors r=@ehuss

Failed to set assignee to thejpster: invalid assignee

Note: Only org members with at least the repository "read" role, users with write permissions, or people who have commented on the PR may be assigned.